Bubble Sort on SCMFSA
نویسندگان
چکیده
We present the bubble sorting algorithm using macro instructions such as the if-Macro (conditional branch macro instructions) and the TimesMacro (for-loop macro instructions) etc. The correctness proof of the program should include the proof of autonomic, halting and the correctness of the program result. In the three terms, we justify rigorously the correctness of the bubble sorting algorithm. In order to prove it is autonomic, we use the following theorem: if all variables used by the program are initialized, it is autonomic. This justification method probably reveals that autonomic concept is not important.
منابع مشابه
An Enhancement of Major Sorting Algorithms
One of the fundamental issues in computer science is ordering a list of items. Although there is a huge number of sorting algorithms, sorting problem has attracted a great deal of research; because efficient sorting is important to optimize the use of other algorithms. This paper presents two new sorting algorithms, enhanced selection sort and enhanced bubble Sort algorithms. Enhanced selection...
متن کاملOn the Instructions of SCM FSA 1 Artur
The articles [18], [10], [11], [12], [22], [5], [14], [3], [6], [20], [7], [8], [9], [4], [19], [1], [2], [23], [24], [17], [16], [13], [21], and [15] provide the terminology and notation for this paper. For simplicity, we use the following convention: a, b are integer locations, f is a finite sequence location, i1, i2, i3 are instruction-locations of SCMFSA, T is an instruction type of SCMFSA,...
متن کاملOn the automorphism group of Cayley graphs generated by transpositions
The modified bubble-sort graph of dimension n is the Cayley graph of Sn generated by n cyclically adjacent transpositions. In the present paper, it is shown that the automorphism group of the modified bubble sort graph of dimension n is Sn × D2n, for all n ≥ 5. Thus, a complete structural description of the automorphism group of the modified bubble-sort graph is obtained. A similar direct produ...
متن کاملAutomorphism group of the modified bubble-sort graph
The modified bubble-sort graph of dimension n is the Cayley graph of Sn generated by n cyclically adjacent transpositions. In the present paper, it is shown that the automorphism group of the modified bubble sort graph of dimension n is Sn×D2n, for all n ≥ 5. Thus, a complete structural description of the automorphism group of the modified bubble-sort graph is obtained. A similar direct product...
متن کاملMinimizing Execution Time of Bubble Sort Algorithm
Sorting is an important data structure which finds its place in many real life applications. A number of sorting algorithms are in existence till date. In this paper the we have tried to improve upon execution time of the Bubble Sort algorithm by implementing the algorithm using a new algorithm .An extensive analysis has been done by us on the new algorithm and the algorithm has been compared w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004